- computer-aided derivation
- 计算机辅助推导
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
computer-aided derivation
Look at other dictionaries:
automation — /aw teuh may sheuhn/, n. 1. the technique, method, or system of operating or controlling a process by highly automatic means, as by electronic devices, reducing human intervention to a minimum. 2. a mechanical device, operated electronically,… … Universalium
Спираль — Архимедова спираль … Википедия
Multibody system — A multibody system is used to model the dynamic behavior of interconnected rigid or flexible bodies, each of which may undergo large translational and rotational displacements. Contents 1 Introduction 2 Applications 3 Example 4 Concept … Wikipedia
Drainage equation — A drainage equation is an equation describing the relation between depth and spacing of parallel subsurface drains, depth of the watertable, depth and hydraulic conductivity of the soils. It is used in drainage design. Parameters in Hooghoudt s… … Wikipedia
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism
Karl Wohlhart — (* 1928 in Aschach an der Steyr[1]) ist ein emeritierter österreichischer Hochschullehrer[2] an der Technischen Universität in Graz. Inhaltsverzeichnis 1 Leben 2 Werke … Deutsch Wikipedia
Discrete mathematics — For the mathematics journal, see Discrete Mathematics (journal). Graphs like this are among the objects studied by discrete mathematics, for their interesting mathematical properties, their usefulness as models of real world problems, and their… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
McCarthy 91 function — The McCarthy 91 function is a recursive function, defined by computer scientist John McCarthy as a test case for formal verification within computer science. The McCarthy 91 function is defined as The results of evaluating the function are given… … Wikipedia
engineering — /en jeuh near ing/, n. 1. the art or science of making practical application of the knowledge of pure sciences, as physics or chemistry, as in the construction of engines, bridges, buildings, mines, ships, and chemical plants. 2. the action, work … Universalium
